/***
Synthesize the items into some new items.
The synthesized item can be de-synthesized back within another synthesization.

Item is read as a Unsigned Int32, from  0 to 2 << 32 - 1 

***/
unsigned int[] synthesize(unsigned int[] items);

/***
Give out the detail of the item.
***/
char* detail(int item);

